Probabilistic Timing Analysis of Distributed Real-time Automotive Systems

نویسندگان

  • Haibo Zeng
  • Sanjit A. Seshia
چکیده

Probabilistic Timing Analysis of Distributed Real-time Automotive Systems by Haibo Zeng Doctor of Philosophy in Engineering-Electrical Engineering and Computer Sciences University of California, Berkeley Professor Alberto L. Sangiovanni-Vincentelli, Chair Distributed architectures supporting the execution of real-time applications are common in automotive systems. Many applications, including most of those developed for active safety and chassis systems, do not impose hard real-time deadlines. Nevertheless, they are sensitive to the latencies of the end-to-end computations from sensors to actuators. We believe a characterization of the timing metrics that, not only provides the worst case bound, but assigns a probability to each possible latency value, is very desirable to estimate the quality of an architecture configuration. In this dissertation, we present stochastic analysis frameworks that calculate the probability distributions of response times for software tasks and messages, and end-to-end latencies in a Controller Area Network based system for the performance evaluation of automotive distributed architectures. Also, the regression technique is used to quickly characterize the message response time probability distribution, which is suitable when only part of the message set is known as in the early design stage. The applicability of the analysis frameworks is validated by either simulation, or trace data extracted

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Measurement-Based Timing Analysis of the AURIX Caches

Cache memories are one of the hardware resources with higher potential to reduce worst-case execution time (WCET) costs for software programs with tight real-time constraints. Yet, the complexity of cache analysis has caused a large fraction of real-time systems industry to avoid using them, especially in the automotive sector. For measurement-based timing analysis (MBTA) – the dominant techniq...

متن کامل

Distributed Development of Automotive Real-time Systems based on Function-triggered Timing Constraints

This paper proposes a new model-driven approach to develop automotive real-time systems. Instead of constraining implementation-driven timing properties – like offsets, periods or the like – for software, our approach uses so-called functiontriggered timing constraints as basis of system configuration. These constraints are implementationindependent. The main focus is how such kinds of constrai...

متن کامل

Modeling of Ethernet AVB Networks for Worst-Case Timing Analysis

Ethernet is currently explored as the upcoming network standard for distributed control applications in many different industries such as automotive, avionics and industrial automation. It offers higher performance and flexibility over traditional control bus systems such as CAN and ProfiBus. For distributed control applications, predictable communication timing is highly important which can be...

متن کامل

Exploration of Distributed Automotive Systems Using Compositional Timing Analysis

This paper presents a design space exploration method for mixed eventtriggered and time-triggered real-time systems in the automotive domain. A design space exploration model is used that is capable of modeling and optimizing state-ofthe-art automotive systems including the resource allocation, task distribution, message routing, and scheduling. The optimization is based on a heuristic approach...

متن کامل

Timing Analysis of Real-Time Embedded Systems using Model Checking

Modern real-time embedded systems are highly complex and distributed. Timing analysis of these systems is a challenging task. Model checking is increasingly being used for analyzing such systems. In this paper, we use timed automata based model checking for the timing analysis of distributed embedded systems with fixed priority preemptive tasks which exchange messages via communication buses wi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008